home *** CD-ROM | disk | FTP | other *** search
/ ftp.cs.arizona.edu / ftp.cs.arizona.edu.tar / ftp.cs.arizona.edu / tsql / doc / tsql.mail / 000028_csj@iesd.auc.dk _Tue Mar 9 17:28:14 1993.msg < prev    next >
Internet Message Format  |  1996-01-31  |  7KB

  1. Received: from iesd.auc.dk by optima.cs.arizona.edu (5.65c/15) via SMTP
  2.     id AA27657; Tue, 9 Mar 1993 09:28:26 MST
  3. Received: from yellow.iesd.auc.dk by iesd.auc.dk with SMTP id AA14883
  4.   (5.65c8/IDA-1.5/MD for <tsql@cs.arizona.edu>); Tue, 9 Mar 1993 17:28:14 +0100
  5. Date: Tue, 9 Mar 1993 17:28:14 +0100
  6. From: "Christian S. Jensen" <csj@iesd.auc.dk>
  7. Message-Id: <199303091628.AA14883@iesd.auc.dk>
  8. To: tsql@cs.arizona.edu
  9. Subject: Proposed glossary entries.
  10.  
  11. I propose the following glossary entries.
  12.  
  13. Best regards,
  14. Christian S. Jensen
  15. Aalborg University
  16.  
  17.  
  18. \subsection{Temporal Selection}
  19.  
  20. \entry{Definition}
  21.  
  22. Facts are extracted from a temporal database by means of {\em temporal
  23. selection} when the selection predicate involves the times associated
  24. with the facts.
  25.  
  26. The generic concept of temporal selection may be specialized to
  27. include {\em valid-time selection,} {\em transaction-time selection,}
  28. and {\em bitemporal selection}. For example, in valid-time selection,
  29. facts are selected based on the values of their associated valid
  30. times.
  31.  
  32. \entry{Alternative Names}
  33.  
  34. None.
  35.  
  36. \entry{Discussion}
  37.  
  38. Query languages supporting, e.g., valid-time data, generally provide
  39. special facilities for valid-time selection which are built into the
  40. languages.
  41.  
  42. The name has already been used extensively in the literature by a wide
  43. range of authors (+E3), it is consistent with the unmodified notion of
  44. selection in (non-temporal) databases (+E1, +E7), and it appears
  45. intuitive and precise (+E8, +E9).
  46.  
  47.  
  48. \subsection{Temporal Projection}
  49.  
  50. \entry{Definition}
  51.  
  52. In a query or update statement, {\em temporal projection} pairs the
  53. computed facts with their associated times, usually derived from the
  54. associated times of the underlying facts.
  55.  
  56. The generic notion of temporal projection may be applied to various
  57. specific time dimensions. For example, {\em valid-time projection}
  58. associates with derived facts the times at which they are valid,
  59. usually based on the valid times of the underlying facts.
  60.  
  61. \entry{Alternative Names}
  62.  
  63. Temporal assignment.
  64.  
  65. \entry{Discussion}
  66.  
  67. While almost all temporal query languages support temporal projection,
  68. the flexibility of that support varies greatly.
  69.  
  70. In some languages, temporal projection is implicit and is based the
  71. intersection of the times of the underlying facts. Other languages
  72. have special constructs to specify temporal projection.
  73.  
  74. The name has already been used extensively in the literature (+E3).
  75. It derives from the {\tt retrieve} clause in Quel as well as the {\tt
  76. SELECT} clause in SQL, which both serve the purpose of the relational
  77. algebra operator projection, in addition to allowing the specification
  78. of derived attribute values.
  79.  
  80. A related concept, denoted a temporal assignment, is roughly speaking
  81. a function that maps a set of time values to a set of values of an
  82. attribute. One purpose of a temporal assignment would be to indicate
  83. when different values of the attribute are valid.
  84.  
  85. \comment{The term is used in, e.g., ACM Computing Surveys, ACM TODS,
  86. ACM SIGMOD, and it is used by unrelated authors}
  87.  
  88.  
  89. \subsection{Temporal Dependency}
  90.  
  91. \entry{Definition}         
  92.  
  93. Let $X$ and $Y$ be sets of explicit attributes of a temporal relation
  94. schema, $R$. A {\em temporal functional dependency\/}, denoted $X
  95. \stackrel{\mbox{\rm\tiny T}}{\rightarrow} Y$, exists on $R$ if, for
  96. all instances $r$ of $R$, all snapshots of $r$ satisfy the functional
  97. dependency $X \rightarrow Y$.
  98.  
  99. Note that more specific notions of temporal functional dependency
  100. exist for valid-time, transaction-time, bitemporal, and spatiotemporal
  101. relations. Also observe that using the template for temporal
  102. functional dependencies, temporal multivalued dependencies may be
  103. defined in a straight-forward manner.
  104.  
  105. Finally, the notions of temporal keys (super, candidate, primary)
  106. follow from the notion of temporal functional dependency.
  107.  
  108. \entry{Alternative Names}
  109.  
  110. Independence, dependence.
  111.  
  112. \entry{Discussion}
  113.  
  114. Temporal functional dependencies are generalizations of conventional
  115. functional dependencies. In the definition of a temporal functional
  116. dependency, a temporal relation is perceived as a collection of
  117. snapshot relations. Each such snapshot of any extension must satisfy
  118. the corresponding functional dependency.
  119.  
  120. Other (conflicting) notions of of temporal dependencies and keys have
  121. been defined, but none are as closely paralleled by snapshot
  122. dependencies and keys as the above. The naming of the concepts is
  123. orthogonal with respect to existing snapshot concepts, and the new
  124. names are mutually consistent (+E1, +E7).
  125.  
  126. Related notions of independent and dependent attributes exist. Using
  127. temporal as a prefix distinguishes the concept from conventional
  128. dependencies and points to the specific nature of the dependency.
  129. Thus ambiguity is avoided (+E5), and precision is enhanced (+E9)---at
  130. the expense of brevity ($-$E2).
  131.  
  132. ``Temporal dependency'' has also been used in a non-generic sense, to
  133. denote a different concept. The term ``temporal'' is often used in a
  134. generic sense, so ambiguity results when it is also used in a specific
  135. sense. Thus ``temporal'' is used here only in a generic sense.
  136.  
  137.  
  138. \subsection{Temporal Normal Form}
  139.  
  140. \entry{Definition}
  141.  
  142. A pair $(R, F)$ of a temporal relation schema $R$ and a set of
  143. associated temporal functional dependencies $F$ is in {\em temporal
  144. Boyce-Codd normal form} (TBCNF) if
  145.  
  146. \[\forall \; X \stackrel{\mbox{\rm\tiny T}}{\rightarrow} Y \; \in
  147. F^+ \; (Y \subseteq X \vee X \stackrel{\mbox{\rm\tiny T}}{\rightarrow}
  148. R)\]
  149. where $F^+$ denotes the closure of $F$ and $X$ and $Y$ are sets of
  150. attributes of $R$.
  151.  
  152. Similarly, $(R, F)$ is in {\em temporal third normal form} (T3NF) if
  153. for all non-trivial temporal functional dependencies $ X
  154. \stackrel{\mbox{\rm\tiny T}}{\rightarrow} Y$ in $F^+$, $X$ is a
  155. temporal superkey for $R$ or each attribute of $Y$ is part of a
  156. minimal temporal key of $R$.
  157.  
  158. The definition of {\em temporal fourth normal form} (T4NF) is similar
  159. to that of TBCNF, but also uses temporal multivalued dependencies.
  160.  
  161. \entry{Alternative Names}
  162.  
  163. Time normal form, P normal form, Q normal form, first temporal normal
  164. form.
  165.  
  166. \entry{Discussion}
  167.  
  168. The three temporal normal forms mentioned in the definition are not a
  169. complete account of temporal normal forms. Indeed, the alternative
  170. names refer to different and complementing notions of temporal normal
  171. forms.
  172.  
  173. The naming of the concepts is orthogonal with respect to existing
  174. snapshot concepts, and the new names are mutually consistent (+E1,
  175. +E7).